Opportunistically Parallel Lambda Calculus
dl.acm.orgยท22hยท
Discuss: Hacker News
๐ŸŒฑMinimal Languages
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.comยท2hยท
Discuss: Hacker News
๐ŸชœRecursive Descent
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.orgยท16h
๐Ÿ“ŠLog Parsers
Flag this post
Unlock Linear Solver Speed: Symbolic Preconditioning for Hyper-Performance
dev.toยท1dยท
Discuss: DEV
๐ŸงฎLinear Algebra
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgยท19hยท
โœ…Type Checking
Flag this post
Reinforcement learning driven adaptive graph construction for fault diagnosis of chemical processes
sciencedirect.comยท1d
๐Ÿ”—Graph Rewriting
Flag this post
LangGraph feels like what LangChain wanted to be
leanware.coยท15hยท
Discuss: r/rust
๐ŸŽญErlang OTP
Flag this post
Grรถbner Bases Explained: From Abstract Algebra to Real-World Optimization
news.ycombinator.comยท2dยท
Discuss: Hacker News
๐ŸงฉConstraint Solvers
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.skยท11hยท
๐Ÿ“กErlang BEAM
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.comยท5hยท
๐Ÿ—‚๏ธType Indexing
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
โš–๏ธInference Rules
Flag this post
Scalable Static Analysis Framework โ€“ hardening large C++ codebases (LLVM/Apple)
discourse.llvm.orgยท1dยท
Discuss: Hacker News
๐Ÿ”ชProgram Slicing
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
๐Ÿ”—Go Generics
Flag this post
Automated Semantic Validation of Modular Software Architectures via Hyper-Graph Resonance
dev.toยท5hยท
Discuss: DEV
โœ…Configuration Validation
Flag this post
A Beginnerโ€™s Guide to Getting Started with add_messages Reducer in LangGraph
langcasts.comยท11hยท
Discuss: DEV
๐ŸŒ‰Language Bridges
Flag this post
Microsoft C++ Team at CppCon 2025: Trip Report
devblogs.microsoft.comยท4h
๐Ÿ›Interactive Debuggers
Flag this post
Advances In Formal Verification Technology
semiengineering.comยท1d
๐ŸงฉSAT Solvers
Flag this post
Ajla Tutorial
ajla-lang.czยท19hยท
Discuss: Hacker News
๐Ÿ”ฎLisp Interpreters
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.orgยท1dยท
๐Ÿ”’Rust Borrowing
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Ÿ‘‘Dependent Haskell
Flag this post